Colonization has, previously in history, always required an export from the colony. Carbon might be that, for Mars (from CO2 ice.) Or possibly hydrogen, althoug

Colonization has, previously in history, always required an export from the colony. Carbon might be that, for Mars (from CO2 ice.) Or possibly hydrogen, although that's abundant in asteroids, Ceres, etc.