Title: Proof in mathematics (if then, and perhaps)