Hadlee Spring 2019 Proofs