MAYBE 2.2 union x union y z union union x y z inter x inter y z inter inter x y z inter x y inter y x union x y union y x eq x y eq y x union x union y z union x y inter x inter y z inter x y eq x y eq y x inter x y inter y x inter x inter y z inter inter x y z union x union y z union union x y z union x y union y x inter union y z x inter x z inter union y z x union inter x y inter x z inter union y z x inter x y eq s x s y eq x y inter singl x singl y if eq x y singl x empty inter singl x singl y eq x y union union empty x _1 union x _1 inter inter singl x singl y _1 inter if eq x y singl x empty _1 inter inter empty x _1 inter empty _1 inter inter union y z x _1 inter union inter x y inter x z _1 inter union y z x inter x y inter union y z x inter x z inter x inter y z inter x y inter x inter y z inter inter x y z inter x y inter y x true Failed! NaTT 1.7