So did the anti-Trump voters. Plenty.
Well, was it 6,000 Cruz voters over Trump’s? I forget the exact numbers. They’re entitled to vote for who they choose. You have no idea whether they disliked Trump. They just preferred Cruz. Hope they’re not having buyer’s remorse.