adding updated monoid