This is a formal language that compiler can take! The natural language and clarify loop helps the LLM to generate Flint spec that can render.