Formal mutual exclusiveness requires categories to be defined over a fixed, well-determined domain o...