5-17 Edits8-17 Edits12-17 Edits12-17 Proofs