reductively

not defined yet