 I'm pretty confident that that's the truth. But he also did make a contribution. It was only like $15 to some sort of progressive group a couple years ago. And what's really funny is when I heard that, it's like there are some progressives that are registered Republicans. Yes, there are. We've had a few.