"Making Mars as habitable as Antarctica during the polar night would be the greatest technological undertaking humanity has ever taken by many orders of magnitude, in order to create a place that nobody would want to live, and where the gravity would still be too low. It's a deeply unpleasant place."