Maybe it’s a good thing he didn’t become president