Yes, it has. We put the last numbers in our report. Usually the proportion of executives positions grows, with a little bit of a lag, compared to the rest of the public service. So we've seen quite a bit of growth, and the executive group has grown in the same proportion, with a bit of a lag.
Now we've seen a slowing down, and the executive group continues to grow. It is the group, however, that has the highest rate of departures. I don't know whether the planning hasn't quite caught up, so I'm cautioning people about this. They are looking for replacements and continuity. I'm not sure if this is a long-term trend, but in the last little while, it has grown more. The public service has hardly grown, but this group has grown.