I explicitly asked LLM to write abstract away with a DSL and it did that. LLMs are good at this too.