get intLangExtra and patLangProof working