with union and negation.