redifferentiations