unreduceable

not defined yet