Added semigroup