 [Some argue along the following lines:] the quantifier in the traditional definition is either tensed or tenseless. If it is tensed then presentism is the obviously false thesis that always, everything is now present. If it is tenseless then presentism is the trivially true thesis that always, everything is, was, or will be present. … The problem with this argument is that the key premise—that the quantifier in the traditional definition is either tensed or tenseless—is false. The universal quantifier in the traditional definition (“everything”) should be read as expressing exactly the universal quantifier of classical first-order predicate logic … [The] traditional definition is intended to express a metaphysical thesis, and metaphysical theses ought to be expressed in the most metaphysically perspicuous—i.e., most “joint carving”—terms possible. Classical first-order predicate logic is a much better candidate for a language whose terms so cut than a natural language like English. Moreover, the standard quantifiers of classical first-order predicate logic are neither “tensed” nor “tenseless” (or at least, not in the sense of the above argument). … [Quantifiers] are not verbs, they are quantifiers … Therefore there is no good reason to think the quantifiers have either reading. (2017: 380–1)