 Christy, I asked George Brockler this question last night, and he didn't really have an answer. So I turn my attention to somebody who has run the party. It's going to be a tough question. But after last night's results, it's clear to me that Dave Williams is not the face of this party. He is not the leader of this party. He is basically persona non grata after the results. Who is the face and the leader of the Colorado Republican Party today?