 But then our primary day is July 30th, so the other 20% are all going to vote in person on July 30th. And once we win the primary, we will hit the ground running to give Stanton a competition and a run for his money that he's never had before. And we will flip this seat and not only help the Republican majority in November, but help rebrand conservatism as the party of diversity and the party of Americanism.