. "AllDifferent" . . "The class of collections of pairwise different individuals." . . . . .