That’s a bit of a sloppy metaphor, since if anything Mars has the opposite problem. In fact, heightened carbon emissions would be a good first step in terraforming Mars.