insert theory on deriv polym