11-17 Proofs