 And in other words, if you follow Trump, Twitter has to remove him from your list of follows, which sounds very straightforward. But when you have to do that tens of millions of times immediately, we had to think about, like, if we push this button, is the site going to go down? As it turned out, the site stayed up and Trump was banned for a while anyway.