It is 1:43 a.m. The library is not exactly asleep, but it has entered that strange campus hour when everyone looks slightly ...