 Well, I think back to Mike Pence being the choice in 2016. Clearly, he had a base among the evangelical Christians in the Republican base. And I look at people like Governor Burgum, who obviously is a very successful entrepreneur and businessman and a governor of an important state.