 We have used a trillion dollars since 1979. That's how much we've spent on the U.S. Department of Education to do what? To indoctrinate two generations of Americans. Can you explain why that kind of thing happens so often in Florida? Florida's not the only red state we have in the Union, and by the numbers, it's not even actually the reddest state we have in the Union. And I know Ron DeSantis gets a lot of credit for that, but...