diff --git a/integraal/integraal-explanation/src/main/java/fr/boreal/explanation/solving_enumerating/whyprovenance/UnambiguousProofTreeWhyProvenanceSolver.java b/integraal/integraal-explanation/src/main/java/fr/boreal/explanation/solving_enumerating/whyprovenance/UnambiguousProofTreeWhyProvenanceSolver.java
index a0077f6fb2b91098a01c355a8baf575fb97599eb..5977debce529be76d2532012c816618d7407c488 100644
--- a/integraal/integraal-explanation/src/main/java/fr/boreal/explanation/solving_enumerating/whyprovenance/UnambiguousProofTreeWhyProvenanceSolver.java
+++ b/integraal/integraal-explanation/src/main/java/fr/boreal/explanation/solving_enumerating/whyprovenance/UnambiguousProofTreeWhyProvenanceSolver.java
@@ -120,8 +120,8 @@ public class UnambiguousProofTreeWhyProvenanceSolver implements Solver {
                 }
 
                 if(foundImprovableAtom){
-                    // see how to hanlde properly lastOperation = Operation.BACKTRACK;
-                    //continue;
+                    //we force backtrack
+                    atomsToProveQueue.clear();
                 }
                 atomsToProveQueue.sort(Comparator.comparingInt(a -> alternativesFor.get(a).size()));