removed ProofGeneral; don't need it on kap