Changed invariant to be for phase 3 done.