Inverted special case : reduction is now a special case of inner product