Differentiability notes