Smilog: properties of the logarithms (1)
Information: Smilog: properties of the logarithms (1)