fix: ProofGeneral