WS 3.1 Derivative using Definition