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.