How deep is the librarian's hole?