Our tentative ontology for science, our tentative range of values for the variables of quantification, comes therefore to this: physical objcts, classes of them, classes in turn of the elements of this combineddomain, and so on up.