At what time was tectonic formation mild?