2-17 Proofs7-17 Edits