Quine's criterion of ontological commitment applies to regimented first-order quantificational logic...