add notation x==y for [Id](_,x,y).