The budgets still include those salary dollars. Those salary dollars were lapsed at year-end, because the positions were vacant. When the time came for the cuts, we basically eliminated those positions and reduced the budgets.
On May 3rd, 2016. See this statement in context.