 Democrats who send their kids to private school but insist on not having school choice in the way that Republicans are arguing for now. I just wondered what you make of this part of the platform because it does propose the elimination of the Department of Education. 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.