 Well, look, that is an old school conservative demand. Going back to the Jimmy Carter years. That was one of the three Rick Perry agencies, right? I can't remember the other two. 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. That is the old school Republican Party. There's a lot of rhetoric on this stage, though, that's