reductorial

not defined yet