Quine's criterion 'to be is to be the value of a variable' itself presupposes an ontology of objects...