Neo-Fregean Account.  Suppose that t is a singular term purporting to refer to objects of kind K.  Then any theory truth-conditionally equivalent to a theory containing the term t is ontologically committed to Ks.