A Priori Entailment Criterion. A theory T is ontologically committed to Ks iff T a priori entails that Ks exist iff, for every conceptually possible world w, T is true at w only if the domain of w contains at least one K.[27]