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