I don't know specifically how that number was calculated. That's something we could endeavour to get as well. I'm sure it exists—that number didn't come out of just anywhere—but I am confident in the July 2025 timeline and our ability to make sure those payments are made starting in that month.
On May 6th, 2024. See this statement in context.