removed LogNum Semigroup