 The Republican mistake, once again, is thinking that Trump equals the Republican Party support, and it means support for Trump. So those are two different things. So once Trump is out of the picture, the Republican Party has to look at itself and figure out what it wants to be. And I think something that I don't know if a lot of people are thinking about is,