FinalsHinton Summer 2017 Proofs