I view a mathematics library the same way an archaeologist views a prime digging site. There are all these wonderful treasures that are buried there and hidden from the rest of the world.
If you pick up a typical book on sheaf theory, for example, it’s unreadable. But it’s full of stuff that is very, very important to solving really difficult problems.
And I have this vision of digging through the obscure text and finding these gems and exporting them over to the engineering college and other domains where these tools can find utility.