extractPTermNames (PProof tacts)     = concatMap extractPTactic tacts
extractPTermNames (PProof tacts)     = concatMap extractPTactic tacts
extractPTermNames (PProof tacts)     = concatMap extractPTactic tacts