It's very important that it's not taxpayers' money. It's those companies' and those workers', it's their money that evaporated. I say “evaporated” to be kind.
So $57 billion was notionally in that account. It's all in one Consolidated Revenue Fund, but when you're recapping what the money is for, there's a notation that this amount of money is recognized as EI income, and that's ultimately where the cumulative $57 billion came from, correct?