 And they take that and they put a bigger hedge on it by putting that into the stock market under various programs that do things like buy options on oil, gas, or stocks, or commodities, or the S&P 500, or whatever.