subdifferentiations