La etapa del océano de magma terminó hace unos 4400 millones de años.