 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.