 How old are these systems? How outmoded are these systems? If we're to step back and look at any kind of broader takeaways of what's happened here, does it say anything about how good this infrastructure is? We were talking earlier with Mandeep Singh just about how people are running all kinds of versions of Windows. I don't know if they're running Windows 95, but no one's on the same thing or the most modern thing. And I always feel that particularly acutely when I'm at the airport. It feels like the systems that a lot of these airlines are using are pretty outmoded.