 Following this method also guarantees that the categories distinguished are mutually exclusive, for it is a corollary of this position that entities may be identified only if they are governed by the same identity conditions (and meet those), so that it is ruled out a priori that one and the same entity could belong to two or more distinct categories, in violation of the mutual exclusivity requirement.