“But we’re a university! We have to have a library!” said Ridcully. “It adds tone. What sort of people would we be if we didn’t go into the Library?” “Students,” said Senior Wrangler morosely.