It's not my area of expertise, but in terms of what we've seen—and I'm relying on information I saw from my colleague, the chief human resources officer—there's an aging population, and there are two factors there. One is what to do to replace your workforce. The second is the impact on the long-term benefits. I think we talked already about the long-term benefits.
My recollection on that front is that the rate of retirement hasn't happened as quickly as we would have thought. There's been this projection of a wave coming. The wave hasn't really hit, but it still is an aging workforce. The chief human resources officer would be better placed to talk about the strategy to refresh the workforce.