Yes. It's an interesting number, and we don't have the exact demographic breakdown because it would be variable. You're looking at a combination of people who have medical conditions that preclude them from going into the workforce and some who are truly retired, as you mentioned. Then there are a number of them who are reservists and who are already integrated into the civilian labour market, because they are part-time soldiers and they all have civilian jobs already.
On January 30th, 2023. See this statement in context.