LEED NC v4.0 says diverse uses need to be available to the public. I don't see that language in the v4.1 reference guide. Was that requirement dropped? I am working on a college campus and am trying to determine if the library, gym, etc need to be available to the public.