{a.b}-{identity(a.b)}