tetrapod formation