Since 2020, the number of fighter pilots has increased by, I want to say, about two, which is actually a big success in fighter pilot strength. What we saw during the pandemic, and it is still being realized, is a slight increase in the number of fighter pilots. If you were to look at the numbers prior to 2020, you saw a decline in the 10 previous years, year over year.
On October 18th, 2022. See this statement in context.