Yes, it does. Thank you very much.
My last question has to do with the money for paying the public sector unions the dues they haven't received. I'm wondering about the mechanics of that. I guess normally that would be employee money, which is why it wasn't initially budgeted. Is this extra money?
Do we know when to expect that this issue will be resolved? If so, is this expenditure going to be worked into next year's budget, if—