Text this: Logic and computer science :