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