https://wattsupwiththat.com/2014/08/19/terraforming-mars-may-be-less-expensive-than-climate-change-mitigation/