(B difference C) = (B intersect C')