2015 Fall – MAT 2071 Proofs and Logic – Reitz