4 Constructing simple proofs in mathematics.pdf