reduction
not defined yet