Differentiation from 1st principles