9-17 Proofs11-17 Edits11-17 Proofs