for x, y being object holds <%x,y%> = (0,1) --> (x,y)