Further steps to monoid structure