No, I did not look at a model like that.
I would tell you that on sale and leaseback, I disagree with your preamble. Sale and leaseback is not the last resort. Most commercial companies outside real estate are spinning off their real estate assets. These are for-profit companies. The banks have all sold their downtown towers--the banks, the for-profit banks. It is too complicated to run unless you're in the business, so I think what we did makes a lot of sense.
On your question about 25 years from now, yes, we have an option to buy. I can see you looking at it from the other side and saying we will have a lot of people to move. Don't forget that the owner will have several hundred thousand square metres to fill if we move. So I'm an optimist by nature and I think we will be able to renew our lease, and if we can't, we'll find space. But for the next 20 or 25 years, we have found the best solution for taxpayers.