 As said, Prior’s introduction of the temporal operators was initially motivated by the use of tense in natural language, and various tenses in natural language can, at least approximately, be captured in TL. For example: