backtracking

not defined yet