Definition:Formal Derivative