I don't think that's accurate either. Isn't that just based on seniority numbers (which doesn't take into account those who retired or left the company since they published the last seniority list in July 2022 or whenever it was)? I could be wrong though