Adventures In A Deserted Library

Two professors on a research trip to the library, late at night, during the summer holidays when they're the only two residents of the castle. But what are they actually researching?