Definition:Binary Logarithm