let
is_disjoint a b =
inter a b =
None