Fall 2016 Proofs