ADDED: Assert disjointness between an arbitrary number of classes.