Product rule works.