Semigroup forum.