differentiable and