2015-05-19: 7.3 Product and quotient laws of logarithms