x1 = x
x2 = u
x3 = y
x4 = z