Right. I have a last question, if I can.
Selling a portfolio of buildings and selling individual buildings are definitely two different things. In terms of determining what we're going to get in value for money if we actually do that, what's your opinion? Are we better to hive off nine buildings, or have nine different sales?