S4 Recursive and Backtracking