 I did listen, and we're hearing a lot of concerns, a lot of nervousness from Democrats. It does seem like Donald Trump has a ton of momentum. There's a lot of enthusiasm in Fiserv Forum, and I do think a lot of our Democrats are nervous right now in Wisconsin. And what about the Republicans? Are they energized?