 And then, of course, so to crank. And the other one that stood out to me was Jeff Hurd's dominant victory over Ron Hanks. So everybody, like you said, is kind of getting to understand a little bit more what we're going for in the Colorado Republican Party.