Modestmerlin: backtracking