 Yes, Republicans are turning out to vote. I think there'll be a high turnout among Republicans, particularly the Trump people. I think Joe Biden's performance probably helps all that. I think there's real questions about the Democratic turnout. And I think the turnout among those who are independents and so forth may not be great. I don't know if we're going to reach the 158 million.