reduction

not defined yet