merge { x = a } < x >.x