Ludlow argues that each metaphysical picture is tied to a particular semantical theory of tense and that the dispute can be adjudicated on semantical grounds. A presentism-compatible semantics, he claims, is superior to a B-theory semantics in a number of respects, including its abilities to handle the indexical nature of temporal discourse and to account for facts about language acquisition. Along the way, Ludlow develops a conception of "E-type" temporal anaphora that can account for both temporal anaphora and complex tenses without reference to past and future events. His view has philosophical consequences for theories of logic, self-knowledge, and memory. As for linguistic consequences, Ludlow suggests that the very idea of grammatical tense may have to be dispensed with and replaced with some combination of aspect, modality, and evidentiality.