Edit and Proof