unreducible

not defined yet