 Honestly, I don't think we have one single person who is the leader of the Republican Party in Colorado. And I think, Ryan, any time you have either a Republican president in office or a Republican nominee chosen in a presidential year, that is who most people would identify as the leader of a party. Even though they're not from the state, they're from the nation, most people would say that Donald Trump is currently the leader of the Republican Party, like it or not. And there's Republicans in Colorado who would feel both ways on that.