[antibasilisk]

It's helpful for doing things like mathematical reasoning, since the LLM can't really do it directly. A DSL would allow you to offload that reasoning.