I wonder if Trump runs again. I think he’d lose, the question is, with a larger or smaller margin?