Note that in the criterion for particulars the necessity is de re. The particular a itself must be a truthmaker for T in any world where T is true. But in the criterion for kinds the necessity must be taken to be de dicto (with respect to ‘K’) if the criterion is to give the desired results. For example, ‘there are elephants’ is ontologically committed to elephants according to the criterion if some elephant or other is a truthmaker for ‘there are elephants’ in any world in which it is true, whether or not any actual elephant is a truthmaker in those worlds.