Is the statement true? If not, find the value that disproves it. Four options: one disproves the claim, or says it is true.
The lines of a proof are jumbled. Tap to reorder them into a valid logical argument. Tests structure, not memory.
Step through a proof by induction. Base case → assumption → inductive step → conclusion. Each stage tested.