Text this: Logic in Computer Science :