They had $2.5 billion in cash when they declared bankruptcy, or went into CCAA. They may not have been able to put all of that into a pension fund, but certainly if there was a priority to the pension fund, at least a portion of that should have gone into it.
One of the things I do want to mention, just to make it clear, we talk about the funded ratio. The way the laws are is that the funded ratio is the solvency ratio. But when you get into bankruptcy, then you have the wind-up ratio. Our pension is now at 65%, versus the 86% or 81% that is floating around on the solvency ratio. That gap in the law is what's really impacting us. When we talk about the fact that the pension plan is going to be wound up, it's wound up at the wind-up ratio, not at the solvency ratio.