In this stage, the system has accepted c 1 as a possible solution, but it needs to check whether any of the remaining candidates in L is more suitable.
the new strategy is to ask the user about those inflections w / ∈ I(c 1 ) with the highest possible value for G(w , L).