Have we laughed at DeSantis lately?