completedifferentiability