A lot of talk about shrinking DEN without displacing. Doesn't the contract require them to backfill vacancies created by those that leave voluntarily?