redifferentiating

not defined yet