. . . "disjointWith" .