It's certainly in a deficit situation on a solvency basis. It is currently in a surplus on a going concern basis. That may be the statement you're referring to.
The argument they're putting forth, I believe—I don't want to speak for them—is that the solvency basis is not appropriate and therefore not important. I think that's a legitimate discussion to have, and we're having it today. That's the source of that discrepancy.