Body-size reduction in vertebrates following the end-Devonian mass extinction | Synapse