Edits

Proofs