Yes, air traffic controllers would have worked overtime, or many of them would have worked overtime. Overtime is used as a way to balance supply and demand with respect to our services, given that we're a 24-7 operation. We have used overtime to deal with staff shortages in some locations. However, even in locations where we're fully staffed, we will use overtime to balance that supply and demand.
