Just on that, let me ask you another question, because it's great to have someone of your expertise here to help us understand this.
One of the issues you raised, which is a reason to sell, is maintenance and upkeep of the buildings. It strikes me as quite irresponsible that moneys were not adequately set aside to do that kind of maintenance. Nevertheless, we are where we are right now.
My question is, where will the money come from to do that upkeep and maintenance—as you say, the retrofit—of many of these buildings? They are 30 or 40 years old; they're probably big energy guzzlers. Will this be covered in the lease agreement as part of the moneys that government spends over time?