  The defender of the fixed-domain interpretation may respond to these objections by insisting that on his (her) reading of the quantifiers, the domain of quantification contains all possible objects, not just the objects that happen to exist at a given world. So the theorem \(\forall y\Box \exists x(x=y)\) makes the innocuous claim that every possible object is necessarily found in the domain of all possible objects. Furthermore, those quantifier expressions of natural language whose domain is world (or time) dependent can be expressed using the fixed-domain quantifier \(\exists x\) and a predicate letter \(E\) with the reading ‘actually exists’. For example, instead of translating ‘Some \(M\)an exists who \(S\)igned the Declaration of Independence’ by