redifferentiated

not defined yet