reduce for Monoid finished