Okay. Just for fun now, the HRM estimated that the land value was $42 million. I was told—and I'm not certain about this—that the federal government in 2012 indicated it was worth $10. Or is that $10 million?
On June 12th, 2017. See this statement in context.