Much more would have to be said in a defense of the truthmaker account about the distinction between existence and real existence.[32] But let us suppose for what follows that the distinction is legitimate, and has the ontological significance attributed to it. Still, one might wonder whether we have just changed the subject. On the traditional notion of ontological commitment, as introduced by Quine, it is supposed to be trivially true that ‘Ks exist’ is ontologically committed to Ks (see §1.6.4). Instead of providing an account of a theory's ontological commitment as traditionally understood, the truthmaker account is an account of a theory's fundamental ontological commitments. Looked at in this way, the quantifier account and the truthmaker account are not in competition, and can live side by side (see Schaffer 2008). 