The distance between how convincing an output looks and how cheaply it can be checked. A property of the domain, and the reason research agents fail differently from coding agents: for open-ended factual claims there is no compiler for facts, only partial substitutes with limits (Chapter 23).