Has anyone tried to run the napkin math on how many pilots the company will need come October if passenger loads stay pretty linear in growth? What seniority number and below with get furloughed?