I'm gonna guess it's the assumption that the intermediate steps of the algo can determine that a solution doesn't exist. >As usual, if the solution does not ex

I'm gonna guess it's the assumption that the intermediate steps of the algo can determine that a solution doesn't exist. >As usual, if the solution does not exist, the process is terminated with a message "No solution at Level 2, Identity 2"