Once one accepts that a “reality” predicate is needed to characterize ontological commitment, a puzzle about the logic of ontological commitment admits of a natural solution. The puzzle is this (from Fine 2009). Because the natural numbers are included within the integers, an ontological commitment to the integers, it seems, should be a stronger commitment than a commitment to the natural numbers. But quantifier accounts of ontological commitment get this backwards: since commitment to Ks is associated with the existential claim, ‘∃x Kx’, a commitment to natural numbers entails, and is thus stronger than, a commitment to integers.  This can be set right, Fine holds, by associating ontological commitment to Ks with a universal claim: ∀x (K(x) ⊃ Real(x). Quantifier accounts, because they lack a “reality” predicate, are unable to capture the logic of ontological commitment.