And the reason we're bringing this up, and I know we have listeners, some of them have reached out to me, who are frustrated that there's any discussion of not just saying Trump, Trump, Trump, Trump, Trump, Trump.