T.IE.2.a.i: reciprocal identities;