Ciertos minerales en rocas en el cráter Gale de Marte pueden haberse formado en un lago cubierto de hielo. Estos minerales pueden haberse formado durante una etapa fría intercalada entre períodos más cálidos, o después de que Marte perdió la mayor parte de su atmósfera y comenzó a enfriarse permanentemente.