We use the language of mathematics to understand the mathematics of language. We still have a long way to go.