In all of these cases, the formalization requires some change in the logical form of the natural language sentences in order to introduce the existence predicate. And that is arguably a cost for the view. After all, in these cases, mathematical, scientific and ordinary languages do not seem to be taken literally—a topic to which I turn now.