Evidence for the existence of magma oceans is discussed in great detail, and among the many new items introduced were high-pressure phase equilibrium experiments, calculations of depth of impact-produced melting, models incorporating crystal growth rates with degree of crystallinity and convection, and models of hard turbulent convection.