Then of course we are going to ask LLMs to generate specifications in this new language