Wow this is huge if Tencent is out of the game in the US. What happens to their stakes in companies like Reddit and Riot Games?