 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.