Text this: Temporal Logic