The funding, to respond to Mr. Ayoub's question, is coming from two sources. Because of the operating budget freeze, departments have been aware since 2013 that they were going to have to pay a portion of collective bargaining. They put money aside, and it has been continuously reprofiled.
About $390 million of the $625 million you see is money that was appropriated in previous years, was never used, was put aside, and is now being brought forward for the departmental portion of the obligation. The balance—I think it's about $235 million—is funds that are coming from the central fund to reflect the costs going forward. That will be the pattern for subsequent agreements as well.