What's the source for that? I see a combined revenue of ~33B by looking on the Internet. And we should assume that that's after some crazy financial juggling