Lol. Let's go through this nice and slow. Assume that DeSantis gets the GOP nomination. What happens next?