irreduction

not defined yet