Text this: Logic and time