It is designed to make sure Ron Desantis is the nominee — anyone other than Trump.