We saw in Chapter 5 that model theory, in accounting for the traditional range of necessary truths (i.e. for those addressed by classical logic), yields a framework of individuals and properties, which enables us to accommodate the pre-theoretical concepts of reference and existence. The existence of the individuals and properties was not the result of a metaphysical deliberation, but resulted from our way of reconstruction of the inferential structure of language.