Teagan April 2018 Proofs