Did they divest the fund of all monies that ultimately originated with oil or did they just switch some of their foreign investments? Because if they went ahead and kept all that money, this is the classic "I've got mine" theory of economics.