1) More work on the backtracking rewite