I think all three of those men [James Mattis, Mike Pompeo and Rex Tillerson] that you just mentioned, depending on what deal was struck with Russia, depending on what terms the deal would have and what incremental steps we would have to take and measurements that we would have to take with potentially Russia in a deal, some of those positions could change, and some of President-elect Donald Trump's positions could change depending on what deal could be struck.