How DeSantis outsmarted Trump.