Proof in mathematics (if then, and perhaps) | lit.salon