As long as no state is permanently excluded from either of the steps, the algorithm will eventually arrive at the correct solution.
Dokud není žádný stav permanentně vyloučen ze žádného z kroků, algoritmus má šanci dospět ke správnému řešení.