What better place to kill time than a library?