5.1 Logarithms definition