. "disjointWith" . . .