Audit a proof
Draft: divide x^2=x by x to conclude x=1. The original equation also permits x=0.
- Division by a variable assumes it is nonzero.
- Defend the transfer, name its boundary, and leave an auditable reasoning trail.
123
03
CHALLENGE MISSIONdefinitions, logic, counterexample, rigor, and exposition
definitions, logic, counterexample, rigor, and exposition
How should the proof be repaired?
MODELProof Blueprint
MATH
PROVEChoose with evidence
CLUE
Pause. Find what matters. Then make your move.