Introduce reoptimization.