 I'm not sure if he had an official affiliation with DeSantis, but he ran Ted Cruz's Super PAC in 2016. He's the former vice chairman of the Texas Republican Party. He has deep ties to the Republican Party. So you've got a political party here now that's trying to say basically God is on our side, and if you believe in God, you need to be with us. An awful lot of that.