The IMF thing didn't say they couldn't mine bitcoin, right? They have all that geothermal.