 And I was walking around and speaking to some of those young voters there. And the name I heard the most was RFK Jr., which surprised me a little. But I do think that there is the sense that from speaking to voters, from speaking to Republican and Democratic operatives, that essentially the choices that are in front of voters are