I want to know the answer to the following question:
What is O'Shaughnessy Hall of Notre Dame formerly known as?
All the background I'm provided with is that "Cavanaugh also established the Lobund Institute for Animal Studies and Notre Dame's Medieval Institute.". Is that enough to answer the question?