 Does that mean anything to you? Well, first of all, Joe Manchin is no longer a Democrat, as I understand it. He's an independent. Sorry. Yes. I mean, you never know. I mean, it's conceivable he knows something. But as they say in the intelligence community, I would assess that information with low confidence. Okay. But we'll see. For my audience...