Los araneiformes, sin análogo en la Tierra, se forman por la sublimación de hielo seco (dióxido de carbono congelado).
No es una solución a largo plazo porque se debió al confinamiento forzado y no a cambios en la infraestructura de transporte y energía.
Investigadores compararon las predicciones de 17 modelos climáticos con el calentamiento real y resultaron ser muy precisas. Las emisiones de CO2 son las difíciles de predecir.