1-17 Edits part 25-17 Edits6-17 Proofs