 We've been talking a lot about politics, about the prospects for President Biden. We haven't. We haven't, Carol. Former President Trump as well. DJT, of course, Donald Trump's Trump Media and Technology Group. He is the majority shareholder in that company. We saw declines there today, not attributable to what we heard or saw at the Republican National Convention in Milwaukee, in fact.