Text this: Logic and its applications