170315 lemmel perry proofs