Properties of logarithms