Just curious as to hypothetically what happens commercially in these situations for an international flight - I guess a lot of the following doesn't apply so much for a domestic flight. Also a "full service" carrier would probably handle a bit differently to a budget airline. So, does the...