unreducibleness

not defined yet