Okay. Do you know currently how much it costs to maintain and operate all the government buildings in the national capital region? I brought up this question on Monday, and I thought you might be able to provide more insight.
On November 24th, 2022. See this statement in context.