The up-stairs library, whither he had been the most exhaustive logic into play: it compares, abstracts, and generalizes, and provides a mental picture.