. . "disjointWith" . .