> valuation that he himself assigned to that company but that was less than what he paid for it

It’s more than he paid. There’s 12 billion of debt you’re not accounting for.