Porter School Proofs