 This campaign really doesn't even start up in earnest until after the Democratic Convention and Labor Day. So I know we're all excited that this is the most active presidential campaign probably in history in the summertime. But as we've seen in the polling data, the summer isn't really a place to get people's attention. And so the reality is that there's plenty of time to make a change and form a campaign and raise the money you need for the big sprint in September and October.