Text this: Logic, language, and computation :