It would have been a disaster for competition if Trump had managed to ban TikTok.