Quine's criterion of ontological commitment holds that to be is to be the value of a bound variable,...