The truthmaker criterion for ontological commitment to kinds, as formulated above, strengthens the modal entailment criterion (§2.2) since, necessarily, if Ks are among the truthmakers for T, then Ks exist. Thus, on a truthmaker account, for a theory to be ontologically committed to Ks, it is required not only that there exist Ks if the theory is true, but that there exist Ks that are truthmakers for the theory, if the theory is true. The chief reason given for the strengthening (Cameron 2008, 2