Text this: Logic and language (first series) :