Finally, it will be useful in what follows to interpret ‘K’ and ‘kind’ broadly. So, for example, not-being-an-electron is a kind, and being-an-electron-or-a-chair is a kind, and so is being one of some random collection of entities. We may not be interested in asking whether a theory is ontologically committed to negative, or disjunctive, or gerrymandered kinds; but it is harmless to allow the criterion to supply answers. Moreover, this allows us to assimilate ontological commitment to single entities to ontological commitment to kinds of entity: to be ontologically committed to a single entity, a, is just to be ontologically committed to the kind, is-identical-with-a.