start updating intLangExtraTheory