 I'm not asking you to feel sorry for them, but this is a tough thing the Democrats are going through. So it will be very interesting to see how it turns out. Not much mention of it at the Republican convention that I caught, at least.