Thank you, Chair, and good morning, everyone. Thank you all for being here this morning.
I want to ask a couple of questions around net debt. Net debt of $714 billion is minus the asset value of $66 billion. How do you put a value on the assets? There's always a debate about whether bridges that are owned by government, or highways, or whatever the government might own, can be sold. Can you give us a quick overview on how you value the asset base?