I love that library as well - it’s one of the few quiet places here, and no other I can think of is as grand - that reading room is someplace anyone visiting should see. Not a lending library, nicely old-fashioned: so many books have been written or researched there. The park behind it has changed a lot over these past few years - I had no idea it was like Washington Square Park and used to be a potter’s field. You really do learn something new every day I guess.