B.5.RA:6 - Bias-Annotation

A familiar scheme label can make a reader force the text into its expected premises. A fluent paraphrase can quietly turn a condition into a fact or a tentative report into certainty. Return the proposed structure to the source and the question being answered, especially when the map looks stronger than the passage.

Familiar vocabulary and a correct-looking calculation can create confidence before the reasoning has been recovered. Conversely, checking every line can consume attention while leaving the role of a lemma unexplained. Use the local transition and the main reason together.

AI-generated formal proofs make the distinction consequential: a checked formal derivation supplies a result under its formal definitions, while the intended statement and the explanatory structure needed for reuse may still need recovery. The relevant comparison is the one that can change the contemplated use.