Rephrased section about backtracking