>Does the number seven exist? Does the red color exist? What evidence do we have to answer these questions? What are the truth conditions for ∃x P(x) when P(x) stands for a number or a property? To respond to these questions is to set an ontology, and setting an ontology is to do metaphysics. This is exactly what Quine does when he states some reasons to include numbers and to exclude properties from the domain of our variables.