Proof and Edits
3 following