merge x z : X