I want to know the answer to the following question:
What is the name of the main library at Notre Dame?
All the background I'm provided with is that "The main building is the 14-story Theodore M. Hesburgh Library, completed in 1963, which is the third building to house the main collection of books.". Is that enough to answer the question?