SEARCH: a librarian