 And then, of course, Williams himself in the fifth. And I think a clear message was sent last night that this Colorado Republican Party has been destroyed for the last year. And voters rejected that. And he should be removed by the state central committee if it comes to a vote. And I think it will. So I think it was an emphatic rejection.