That's a good question.
As risk managers, one of our roles is to properly manage our funds and commitments. I don't have precise figures to give you right now, but I could come back to you with more precise data.
On June 9th, 2020. See this statement in context.