Wenn man die Operation, die man hier mit der linken Seite einer Gleichung vornehmen, muß um die rechte zu erhalten, ‘τ’ nennt, so könnte man etwa schreiben:
       τ2' {a + (b + (c + 1))} = (a + (b + c)) + 1       τ' {(a + b) + (c + 1)} = ((a + b) + c) + 1(Ƒ)