The available conditional classification

Self-duality and irreducibility need not be added to the hypotheses of Theorem thm:classification. Their appearance in another representation theorem does not make them part of this weaker classification route.