proofs
October 12 2017