 even through things like what's called industrial policy, right? So these are people that are not afraid to use government power to build economic infrastructure. Sean, I'm up against the clock, but thank you so much. I hope to have you back, but thank you for some insight into J.D. Vance this morning, the vice presidential candidate on the GOP ticket. Thank you so much. Enjoy the rest of your vacation, and we'll catch up soon.