reduceableness

not defined yet