I want to know the answer to the following question:
How many books are housed at the Theodore Hesburgh Library?
All the background I'm provided with is that "Many academic building were added together with a system of libraries, the most prominent of which is the Theodore Hesburgh Library, built in 1963 and today containing almost 4 million books.". Is that enough to answer the question?
Answer: yes