5-17 Proofs