Modal Entailment Criterion. A theory T is ontologically committed to Ks iff T necessarily implies that Ks exist iff, for every (metaphysically) possible world w, T is true at w only if the domain of w contains at least one K.[25]