In the carbon cycle, atmospheric carbon dioxide is replenished by