9-17 Proofs