merge { x = 1 } < x >.x