Yes, that's exactly right. But you also know that the ATSB guaruntee is just that, taxbase funded money in forms of loan guaruntees. And guess what? I completely agree with it. I'm happy USAirways got it. I think letting companies like USAirways, United, Delta, American or any other...