Okay. So you're asking for in and around $10 billion. I'm just seeking clarification on how that figure was arrived at. More to the point, how exactly would those funds be distributed? What exactly would those funds go toward? How would they be spent?
On May 1st, 2020. See this statement in context.