I did not sell all of it, only the second position, in the event that miners go down with the rest of the market in the next few weeks, I had to high of an exposure (at one time as high as 18%, but getting today at 14% was also too high), relative to total equity position.