irred
not defined yet