Indeed, if some evaluations of x k + 1 {\displaystyle x_{k+1}} required branching, it is because they are consistent with the current assignment.
Заиста, ако неке евалуације од x k + 1 {\displaystyle x_{k+1}} захтевају гранање, то је зато што су конзистентне са тренутном доделом.