Perhaps. My point is that Red Hat will still thrive under whatever parent company they wind up in. Red Hat would still be a thing. A very huge thing, and still a very huge moneymaker. Red Hat doesn’t disappear.