It has proven surprisingly difficult to construct explicit formal semantics for English tenses and temporal adverbs. If evidence is needed, the recent proliferation of attempted formal treatments of English temporal discourse should be testimony enough to the dissatisfaction of linguists and logicians with existing theories.