Глобальный магматический океан постепенно затвердевал, формируя мантию и оставляя два жидких океана — наружный и глубинный, базальный.