add proofgeneral