 Delegates are dancing. This is a united, excited Republican Party. Donald Trump, 2016, I was in the hallways when Trump won the nomination, and it was a divided party. And even in 2020, there was still a significant share of Republicans not totally with the Trump program. This is a united party, an excited, enthusiastic party, and this is an evolution in the Republican Party, as we just discussed.