finish the proof of optimality (assuming the new unproven invariant)