merge { x = 5 } < x >.x