Included backtracking