The closure of the library