Just to add to that, in case there is still lack of clarity, what matters is the outcome rather than the process. If this Summit (or, more to the point, all the diplomacy surrounding it) leads to North Korea stepping away from its nuclear programme, to the country's economy improving and to lasting peace in the region, then it would be a massive achievement for all parties concerned. But that is something that we will only properly be able to judge in years to come. My fear -- and I hope it's a reasonable one -- is that these summits are more about internal propaganda for Kim than they are about actually achieving such steps. If those fears are realised, then this would become Trump's "Munich Agreement" moment, rather than Trump's "Good Friday Agreement" moment. I am sure everybody here hopes it's the second one.