Modal Quantifier Criterion.  A theory T is ontologically committed to Ks iff, for every world w and every sub-domain of the domain at w, T is true at w with its variables ranging over that sub-domain only if that sub-domain contains at least one K.