 I suppose, Scott, there are vice presidents and there are vice presidents. Some are stuck at the margins of policies when they get into office. Others, like Dick Cheney under the second President Bush, are central. I guess we'll have to see if the Trump-Vance ticket prevails later this year, just what role Vance would have in policy.