new are_disjoint()