Other than individual-scale mining being an inefficient greenhouse heater, (or just heater in general) what are some of those dual uses you’ve seen so many times? On what scale compared to the bulk of mining activity?