Very good. In that case, we'll move right into our first round of seven-minute questions. As always, I'll hold up a yellow card when there's one minute left, and a red card when I'm asking you to finish up, and then we'll move on to the next questioner.
The first question comes from Mike Bossio, please.