nonreduction

not defined yet