 Well, I can't speak for Senator Johnson. I speak for President Trump. But as I said, President Trump is the leader of the Republican Party, and she's focused on unifying this country. It's very clear that somebody needs to unify this country. I don't think the Democrat Party right now is up to the job. I think the Democrat Party is having a difficult enough time on its own unifying its own party. It's very clear that people are looking at President Trump.