Ellis Summer 2020Proofs