. . . "The property that determines that two given classes are disjoint." . . . "disjointWith" . .