Criterio de formalidad: origen de los grupos