Quine's criterion for ontological commitment requires that existential claims in formal systems carr...