As the sun grew hotter, so did Mars, prompting much of its atmospheric carbon dioxide to rain out and ultimately get locked up in rocks.