Semigroup for OneAnd.