 Definition 1.3 Let \(\bT_1\), \(\bT_2\) be a pair of theories with languages \(\cL_1\) and \(\cL_2\), respectively, and let \(\Phi\) be a (primitive recursive) collection of formulae common to both languages. Furthermore, \(\Phi\) should contain the closed equations of the language of PRA.