Text this: Logic in computer science :