Solving set problems involving complements.