7-17 Edits7-17 Proofs11-17 Proofs