 And it can be good or bad. Typically, what I saw is if you get a nice pop in October leading into the election, typically, then it sells back off in November. And if you have a really bad October, typically, then you get a good November. And I think that that's maybe financial markets realizing that they've