Quine's Criterion, Metalinguistic Version.  A theory T is ontologically committed to Ks iff T logically entails ‘∃x Kx’ iff, for every interpretation that makes T true, there is some entity in the domain of the interpretation that is in the extension of ‘K’.[7]