 Anyway, this came out yesterday. This is the first time that a Republican has been ahead after July 4th in a quarter century in a presidential race. He's up by about three and a half in your RCP average of the big polls.