x1 = EmptySet
x2 = u
x3 = z
x4 = v