 A good morning, Jerry. It wasn't a former president. It was Donald J. Trump. So that's that's the difference. I know what you're saying. That was 44. No, you're right. And that's a very good point. And something that that might have gone over the heads of some of our listeners, and that is they don't view him as someone who is a former president or presidential or a leader or or they're they're so look.