Mine did. These people are not considered leaving government service.