diff --git a/examples/qbf_true.bul b/examples/qbf_true.bul
index c4c2d2a..e81feac 100644
--- a/examples/qbf_true.bul
+++ b/examples/qbf_true.bul
@@ -1,4 +1,4 @@
 #forall[1] :: y?
-#exists[2] :: x?
+#exists[1] :: x?
 ~x, y. 
 x, ~y.