monoid not ring here.