We actually tried to get that validated. What we came to understand, after many discussions with finance, is that it's not going to be funded from the $2.5 billion that's already been earmarked. From what I understand, I think it's going to be an excess amount that they determined was going to be brought in, in the future, and they were going to take that out. That was the explanation we were provided with.
On November 14th, 2023. See this statement in context.