some discussion of ex decomp