(A union B) intersect C