Extended Data Fig. 3: Residual magma ocean thickness as a function of PCS for late-stage progressive crystallization, assuming continued crustal floatation. | Nature