Text this: Tense logic /