2-17 Proofs