The library is the mathematician’s laboratory.