 because they're worried that Donald Trump is going to win in November. And that means some things. It means that likely during Trump's term, and I think he will become the president, he will get a chance to choose the replacement for Clarence Thomas. Clarence Thomas isn't quitting just yet, but if he quits during a Republican administration of Donald Trump, then Donald Trump will pick his replacement.