> Similarly, the atmospheric CO2 can be a source of carbon, especially say on Mars.

How would this work?