toward a log with a semigroup