for x, y being object holds {[x,y]} " {y} = {x}