8-17 edits8-17 Proofs