Ron DeSantis Is $1 Billion Stupider Than We Thought