Rock Formation and Carbon Cycle