reducement
not defined yet