 party changing for the Republican Party is that finally those voices, they've been the disgruntled voices in the background ever since the Tea Party. They've always been treated as a minority within the party and too extreme or whatever. They're now the mainstream within the Republican Party. I agree. And with JG, I don't know how it's going to work out. But I'm kind of looking forward to four years of Trump