Terraforming Mars might be impossible due to a lack of carbon dioxide