We may as well have the LLMs use the hardest most provably-correct language possible