That's correct. It's part of a collective agreement through the workforce adjustment. These are not things that can be altered by us. It's part of a collective agreement, and therefore we have to adhere to that process.
There is four months, but you're asking a question about an end date, and I have to be absolutely sure we know what the start date was, because if the start date was not a week or so ago, then it could be true that it could be January 8. If they got an opting letter last week, then they have 120 days to make a decision as to what they're going to do, and then after that they'll have whatever their choice is. It's either to leave with a transition measure available, or to go on educational leave, or to stay with the public service and be on a priority list for a period of time. Those are the choices they would have to choose from within that period of time.
We'll have to get back to you on the exact timing of those letters, because if they got them last week or so, then they should have four months.