Text this: Logic and computation