added monoid counters.