Well, it’s pretty

good news. There weren’t a ton of DeSantis voters, but I think most of what are there will switch to Trump.