If a war started, the oil price probably would go up, as you said, maybe $5, $6 a barrel until you saw other oil from the extra supplies that are available elsewhere coming into the world, into the market.