 Number one, in my opinion, he's going to be elected. Number two, he doesn't have to put on a show to get reelected. Number three, his 2025, his project 2025, the Republican party's 2025. There are a couple of things in there that concern me, but has he been active?