12-16 Edits6-17 Proofs