proofs
April 23 2017