Text this: Logic and is Applications