ett större bibliotek för deras gemensamma undervisning och bildning.