3.1 Logarithms definition