Nótese que los pelicosaurios son un grupo parafilético que incluye todos los sinápsidos que no son terápsidos.