 One further use that formal tools could have besides all the above is to make ambiguities and different ‘readings’ explicit, and to model their respective inferential behavior. For example, formal tools are especially useful to make scope ambiguities explicit, since different scope readings of one and the same natural language sentence can be represented with different formal sentences which themselves have no scope ambiguities. This use of formal tools is not restricted to ontology, but applies to any debates where ambiguities can be a hindrance. It does help in ontology, though, if some of the relevant expressions in ontological debates, like the quantifiers themselves, exhibit such different readings. Then formal tools will be most useful to make this explicit. Whether or not quantifiers indeed do have different readings is a question that will not be solved with formal tools, but if they do then these tools will be most useful in specifying what these readings are. For a proposal of this latter kind, see (Hofweber 2000), (Hofweber 2005), and, in particular, chapter 3 of (Hofweber 2016). One consequence of this is a meta-ontology different from Quine’s, as we will discuss below.