b intersect (complement (c intersect a))