Those are some interesting books. How big is the library?