“This can do for students what John Dewey did for readers 150 years ago when he created standardized card cataloging.”