4-17 Edits4-17 Proofs