z,z -> x, z