No obstante, dado que tanto los estegocéfalos como los laberintodontos son parafiléticos, el nombre se usa ahora de una manera informal para denominar los primeros vertebrados no pisciformes, excluyendo los anfibios modernos y los amniotas.