Let's talk about that lump sum. I don't know if you're aware—maybe you are, through your discussions—that if you had to take the decision today, you would not have to take the lump sum if you didn't want it. You could take a pension for life. Did anyone mention that? Did you have a conversation around that as well?
On September 26th, 2024. See this statement in context.