 The translations needed are given by the set of defining equations and the set of equivalence formulas. A set of equations \(\iEq(p)\) in one variable defines a translation from formulas to sets of equations: each formula is translated into the set of equations \(\iEq(\phi).\) Similarly, a set of formulas \(\Delta(p, q)\) in two variables defines a translation from equations to sets of formulas: each equation \(\phi \approx \psi\) is translated into the set of formulas \(\Delta(\phi , \psi)\).