Setting up a Proof & Checking Your Work