 And you think about it, there were a lot of people that were talking about Doug Burgum and Burgum, rather the North Dakota governor. But I just never thought he was going to go in that direction. Even some thought Marco Rubio, the senator from Florida. So the choice is in clearly, as you saw there.