Magma oceans as a critical stage in the tectonic development of rocky planets. (1st October 2018)