 Well, is it important to make that distinction? Because it's interesting. They're in the headlines a lot. Sure. They're in the headlines a lot because of the huge wealth and success of Elon Musk and a number of other folks that like to comment on this. But traditionally, corporate CEOs are going to be much more reticent for making public political decisions.