Definition:Briggsian Logarithm