Text this: Logic and Complexity /