 But in general, I did not see a lot of J.D. Vance. But we knew the final three that were talked about were Burgum, Rubio and Vance. Those were the names that were floating to the top mainly. And it came down to J.D. Vance. So you just heard C4, Brian and I speaking about that. And