[Aeronwen]

It doesn't matter. CO2 is literally the one thing Mars doesn't need us to add to the atmosphere. With that problem solved, we just need to add the other 99.95% of the atmosphere it lacks.