implemented / ("reduce" operator)