 And then, of course, Trump chose J.D. Vance, who is no old-fashioned Republican. J.D. Vance has undergone a conversion. I mean, literally, I believe it was 2019, he adopted Catholicism as his religion. But beyond that, he has had a political conversion as well. He has, by the way, nothing wrong with adopting Catholicism.