The key term there was “active pilots”... not just seniority list pilots. Lots of folks on sick leave, military, project pilots, ALPA leave, SLI’s, special project folks, etc...