 mining converts electrical energy into digital energy. In time, the world will view the production of digital energy for export no differently than the production of aluminum, steel, oil, or petrochemicals.