Prove Editing