Aug 2016 Proofs