Semigroup with an identity becomes a monoid right?