 With the existence predicate at our disposal, the sentence “Some man exists who signed the Declaration of Independence” can be formalized in two different ways:   \[\exists x(\mathsf{man}(x) \land P(\mathsf{signs}(x))) \]   and   \[\exists x(E(x) \land \mathsf{man}(x) \land P(\mathsf{signs}(x))). \]   While the former formula is true at the present instant in the constant domain semantics with eternalist quantification, the latter formula is presently false in that semantics, but it was true in 1777.