The library is a gym for the mind.