 not necessarily tech-related, but Alaska is going to acquire Hawaiian Airlines, which, by the way, I think is very ironic. The two most remote states in America, the two airlines are linking up, which I find very cute. But I did ask the CEO, I said, so is this all moot? Is Alaska going to take over Hawaiian and get rid of the airline? And he said, no, we are going to operate a same platform, which tells me you'll be able to book the flight seamlessly with the two airlines,