Email Record: Introduction to mathematical proofs /