Thank you.
I have Mr. MacKay and Monsieur Paillé.
I just want to follow up for my own clarification, Mr. Hodgson, because the number of $57 billion or $60 billion is used quite often. It was real money in the form of premiums paid by employers and employees on an annual basis. There was a surplus in terms of what was paid in and what was paid out in benefits. My understanding is that goes back to the mid-nineties. But this was on an annual basis; this was not money set aside over a period of time. On an annual basis, if there were a surplus for that year, then the money flowed to the consolidated revenue fund. If there were a surplus, the surplus was allocated in that or the following fiscal year. Is that correct?