Making corrections to your proof