The reduction operation