Apply ordsuccI2 to the current goal.