The Library Problem (2025)