redifferentiation

not defined yet