Commit work on proof.