 He did overperform the polls. Part of that was some polling stuff, but I think it's also a shift in the coalitions. The Democrats are doing better now among what I call high propensity voters, what some call regular voters. Republicans do better among irregular voters.