Talk:Log semiring