OPINION: Shrinking the library system is a loss for New Yorkers