(This criterion requires, in effect, that whenever a theory is true of some part of a world, considered in isolation, the theory is ontologically committed to Ks only if that part contains at least one K.)  The modal quantifier criterion takes care of the problem of irrelevant necessary existents. In effect, it introduces a narrower modal entailment relation that is more sensitive to the content of T.  Only if T entails the existence of Ks according to this narrower entailment relation is T ontologically committed to Ks.[13]