But only in the sense of having a company that "is worth about $7 billion" according to some estimates. The point of the discussion is that they could convert t

But only in the sense of having a company that "is worth about $7 billion" according to some estimates. The point of the discussion is that they could convert that to real money that could be used to buy other assets (but no-one is forcing them to do so, so they really have the choice).