what do we mean when we say that the terrestrial worlds underwent differentiation?