finish updating patLangProofTheory