The only rider I would put on it—and I'm not trying to be cute—is that the same rider for FTEs applies to the dollar number. In other words, it's a dynamic scenario. If the circumstances change and if different decisions are taken, then the results will be different from what we see in the report on plans and priorities.
So it was accurate at the time, based on the information—both FTEs and dollars. That has changed and will really be known only when the main estimates get tabled in the February-March timeframe.