2017 Fall – MAT 2071 Proofs and Logic – Reitz