 So just such a positive move forward for the Colorado GOP. And even if Dave Williams selfishly hangs on putting himself in front of these causes that we all care about so much, he's lost all influence, right? He's lost his platform. And so the Colorado GOP now will have a chance to define itself properly and accurately reflect that the Colorado Republicans.