Sunken Garden and the main library are sinking