The liability for that was laid out in the budget. Going from memory, it's just under $1 billion, I think $900 million, so the liability has been booked.
That is pursuant to the workforce adjustment directive, and that's separate from the voluntary severance. If you did have a person, for example, who was impacted by the reductions, the workforce adjustment directive would kick in, and their severance package would also be there as well. If they had already been paid out earlier, that would influence things there, but the workforce adjustment directive is still in effect for those folks who are impacted by the reductions.
There is a separate liability for that, and it was outlined in the budget, and I'm going from memory here, but I think it was just under $1 billion.