 Well, first of all, Joe Manchin is no longer a Democrat, as I understand, but 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...