nonreducibility

not defined yet