Perry 2017 Proofs