 and they could work around that if that's the direction that... Well, what have you been hearing about, for example, North Dakota Governor Doug Burgum? You've got J.D. Vance out of Ohio. I look at electoral college votes. I'm thinking, wow, if Rubio could be the VP, that would give them a much larger number of electoral college votes. But Ohio is good for that, and North Dakota not so much. What have you been hearing from people regarding those other two, Burgum and J.D. Vance?