Invariably seems like a strong word for the output of an LLM. If we can prompt a language model to double-check it's work (and that means it always gets it correct), why is that not part of the base prompt?