That's quite the stretch in comparison. The big 3 are quite a bit different than those carriers in a tremendous number of ways. Yes, they are airlines, and yes, there will be another downturn, but it is a very different world today.