5-17 Edits5-17 Proofs