Proofs at slopes 3/24/18