semisimple
not defined yet