Title: The high school mathematics library