"disjointWith" . . . .