Checking your proof