Interesting.
Okay, I have two other questions. The first is in relation to pensions. When we were looking at our spreadsheet last week, we discovered—and I think most of us knew—that the federal government had a debt of about $640 billion, but tagged to that were liabilities for pensions.
We ran out of time. I didn't get an answer for this. Does that mean the money is not set aside for public pensions? From what I understand, the employee gives a portion and the employer contributes a portion. Is that money not put somewhere? Or is that just a balance, again, for assets and liabilities? It's sitting there, but it's a liability because it has to be paid.