 Well, I think if you look at recent polling that came out around that question, it doesn't really matter who the Democrats pick. They all lose. When you go down that ladder, Gretchen Whitmer, et cetera, the margin is even wider. And so that's what I'm saying. At the end of the day, I don't really think it's going to matter one way or the other. The biggest concern is that Joe Biden is president now.