I want to know the answer to the following question:
What is the informal name of The National Archives Building?
All the background I'm provided with is that "It also hosts a copy of the 1297 Magna Carta confirmed by Edward I. These are displayed to the public in the main chamber of the National Archives, which is called the Rotunda for the Charters of Freedom.". Is that enough to answer the question?
Answer: no