 Those politics are a, we'll just call it a red herring there to deflect your attention away from what's really going on around the world. It doesn't matter who's in charge, who's sitting as the president of the White House. It doesn't matter. I mean, it doesn't even matter in many cases if it's Trump.