Ceres es el asteroide más grande de nuestro sistema solar. Fue descubierto en 1801 y catalogado como planeta, justo cuando Hegel dedicó su tesis a demostrar que había siete planetas girando alrededor del Sol. En 2016, la sonda espacial Dawn de la NASA, que había llegado al planeta enano el año anterior, estudió los numerosos cráteres en sombra de las regiones polares de Ceres, y descubrió depósitos de hielo brillantes en algunos de ellos.