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