x1 = EmptySet
x2 = M
x3 = P