do not simplify in union and intersection.