Talk:Empty semigroup