 yesterday or two days ago, that ended it. And there is really no infighting. The Never Trumpers don't matter anymore to the Republican Party. Well, and you have quite, I won't say the opposite, but a certainly different situation in terms of the delegates on the left. And one of the things that we talked about earlier this week, and that is one of the reporters over at Politico,