There might be a bit of tax revenue but it's not really our oil or gas. It would be sold by the oil company on the open market, probably not come to the UK, and make no difference to the overall world oil supply or the price paid by our energy suppliers or us for gas and electricity.