What about duty relief? You did talk about some big numbers. How much actual duty relief has been paid out so far? Not with loans from EDC and BDC, which are not bad things, but they are not relevant to the actual relief that companies have to pay at this point in time.
On October 16th, 2018. See this statement in context.