derivative
not defined yet