And I frankly always forget the quotient rule, and I just re-derive it from the product rule. So let's see what we're talking about. So let's imagine if we had an expression that could be written as f of x divided by g of x. And we want to take the derivative of this business. The derivative of f of x over g of x. The key realization is to just recognize that this is the same thing as the derivative of, instead of writing f of x over g of x, we could write this as f of x times g of x to the negative 1 power. g of x to the negative 1 power.