The main idea here is that Mars used to be covered by carbon dioxide and that throughout the geological history of Mars (particularly if there were
active sources of geothermal heat beneath the surface), as most of that dry ice sublimated off and escaped the planet's atmosphere, that the
sublimation explosions would have created many many of the craters commonly observed on the surface of Mars. The phase diagram (Mars atmosphere
pressure is in millibars) seems to support this hypothesis.