09_23_2017_proofs