reductibility

not defined yet