The library in education