Text this: Temporal logic /