 Quantification over properties seems ubiquitous not just in ordinary discourse but in science as well. For example, the inverse square law for dynamics and the reduction of temperature to mean molecular energy can be taken to involve quantification over properties such as masses, distances and temperatures: the former tells us that the attraction force between any two bodies depends on such bodies’ having certain masses and being at a certain distance, and the latter informs us that the fact that a sample of gas has a given temperature depends on its having such and such mean kinetic energy.