The library is inhabited by spirits that come out of the pages at night.
Mathematics is not a spectator sport.