Definition:Briggs's Logarithm