"Semigroup" . . . "Semigroup" .