 the President of the United States, on this 4th of July, on his main conduit to get information to the American people, his main, other than giving the occasional speech, which he doesn't do often, it's Happy Pride Month, not a word about this day. This, basically, come on, this is as big as it gets in terms of patriotism, right? July 4th.