We need to end there. Thank you. We ran a little over on the other side.
I want to ask one question about Venezuela.
The migrants coming out of Venezuela are largely going to other South American countries and into Central America. I've been told a number of people are going to Europe from Venezuela, about half a million. I'm wondering whether you have any information on that. I heard it was Scotland in particular, which is still part of the EU this week.