diff --git a/src/duality/duality_rpfp.cpp b/src/duality/duality_rpfp.cpp
index ef62d38c1..a5e2b9167 100644
--- a/src/duality/duality_rpfp.cpp
+++ b/src/duality/duality_rpfp.cpp
@@ -143,7 +143,7 @@ namespace Duality {
       return 0;
     }
     if(t.is_quantifier())
-      return CountOperatorsRec(memo,t.body())+1;
+      return CountOperatorsRec(memo,t.body())+2; // count 2 for a quantifier
     return 0;
   }