That’s an interesting point Jenny – it’s not only kids who make noise but groups as well. That is related to my idea of having different rules about noise at different hours of the day. Although it seems like your point is that people can self-manage this without needing rules ie if you know there are going to be group classes or kids around then you avoid going to the library at those times.