Thanks for the question.
It's something that we're always generally concerned about in considering recruitment and retention of public service employees. The demographic data, as I mentioned, suggest that people, especially the older half of the workforce, aren't leaving in large numbers, except for retirement right now. So in reality, the data do not suggest we have a problem with that segment.