It is the meta-level counterpart of the fact that LLMs are difficult to reason about.