 And then, of course, Doug Burgum, who is a billionaire as well, and someone who, as I understand it from the reports I've heard, that Donald Trump really likes him personally and also likes his wife personally. So it could be an interesting convention, but...