It's going to be more complicated than leveraging the loans to buy more BTC, because under the IMF program they're not supposed to accumulate any more BTC. They're obviously still accumulating BTC at the moment, so I'm not clear on when they would begin abiding by that requirement.