Start a proof