 Never heard of that. So it's funny to think about the different words that you hear over a lifetime and how they're pronounced in different places, I suppose, if we're paying attention. Lots of news on the national front. J.D. Vance is Donald Trump's... That makes him official, right? Or do they have to go through a delegate process there? I honestly don't know.