clean up a proof