Disjoint and Intersecting Sets Verification