Well, the other company should already be called SpaceXXXai (as a concatenation of the three pre-merger companies).