runaway backtracking