J.F.Carlson
The decomposition of the trivial module in the complexity
quotient category.