 No, I mean, look, actually, that was a line that harkens back to traditional conservatives, that they want school choice, vouchers, the bureaucracy of the Department of Education. I mean, that is the old school Republican Party. There's a lot of rhetoric on this stage, though, that's the new school Republican Party under Donald Trump, and that's a lot different than what I'm used to hearing from Republicans today.