Yes, and then that same option was extended to military members because the military had the same benefit as the public service. Serving military members have the option to take their severance payment while they continue to serve, rather than waiting until they retire. In that way, the government reduces the liability for that amount because they cease to accrue—
On March 6th, 2013. See this statement in context.