4-17 Proofs