nonreducible

not defined yet