Why should you believe the output of the LLM just because it is formatted a certain way (i.e. "formal logical relationships")?