Proof on paper