 and then becomes a venture capitalist. I mean, it's an incredible success story. But it's a background to which you add service in the U.S. Marines that's just an enormous appeal. And in this long move that we have seen, I think really starting with Rick Santorum back in 2012 of the Republican Party becoming more and more blue-collar, I think this would be another step. Trump's obviously the biggest step.