a card catalog is used for librarians