Text this: Logic and Algorithms