reducibleness

not defined yet