 I was talking to a bunch of folks, and these are all diehard Republicans, and I was really surprised at the number of people who are very upset at Republican Party leadership and this party platform. People are really upset about that. And I've been hearing the reports from all over the country that there are others that are just as upset. I was just sort of surprised to hear that.