 disaffected with the choice for president. And I think the difference between the parties here, as Mike spoke about earlier about the Republican convention, is that the Republicans have become the party of Trump. That is what they are. This is Trump's party. The folks who have spoken up