They have to sell Bitcoin on the market, I think.