How to Quit Proof Yourself