But there is a problem (Cartwright 1954; Scheffler and Chomsky 1958; Jackson 1989; Michael 2008). Suppose first that ontological commitment takes a plural argument in its second place, that a commitment to Ks is a relation to the Ks themselves. Then, on plausible assumptions, the meta-ontologist cannot assert that a theory is ontologically committed to Ks without being committed to Ks herself; for the meta-ontologist's own domain of quantification must include at least one K in order for ‘T is ontologically committed to Ks’ to be true. And that is wrong. Suppose instead, then, that ontological commitment is a relation, not to the Ks, but to the kind K. If a kind K can exist without Ks existing, this may help. But, on plausible assumptions, it still has the untoward consequence that the meta-ontologist cannot herself assert that a theory is ontologically committed to a kind K without being committed to kinds. And, whether kinds are construed as properties, or sets of possibilia, or taken to be sui generis, that still seems wrong. This suggests that the logical form of statements attributing ontological commitment is misleading, and that ontological commitment is not a genuine relation at all; only then will meta-ontological claims about ontological commitment themselves be ontologically neutral, or as ontologically neutral as possible.[4] In this article, the locutions ‘ontological commitment to Ks’ and ‘ontological commitment to the kind K’ will be used without presupposing that ontological commitment is a relation to the Ks plurally, or to the kind K, or, indeed, that it is a relation at all. The different accounts of ontological commitment will treat the matter differently.