reductional

not defined yet