Text this: Logic for problem solving