And actually it's this exponent property, where you can multiply-- when you take something to exponent and then take that to an exponent, and you can essentially just multiply the exponents-- that's the exponent property that actually leads to this logarithm property.