I thought they had not yet started. Are they already mining with geothermal ?