Moved to Definition of Derivative.