Representation theory
Representation theory of formula_7.