diff --git a/examples/tictactoe.modal b/examples/tictactoe.modal
index 87f9deb..d76448b 100644
--- a/examples/tictactoe.modal
+++ b/examples/tictactoe.modal
@@ -18,7 +18,7 @@
 <> (((?0 ?x ?1) (?2 ?x ?3) (?4 ?x ?5)) ?x run) (?x victory)
 <> (((?0 ?1 ?x) (?2 ?3 ?x) (?4 ?5 ?x)) ?x run) (?x victory)
 <> (((?x ?0 ?1) (?2 ?x ?3) (?4 ?5 ?x)) ?x run) (?x victory)
-<> (((?0 ?1 ?x) (?2 ?1 ?3) (?x ?4 ?5)) ?x run) (?x victory)
+<> (((?0 ?1 ?x) (?2 ?x ?3) (?x ?4 ?5)) ?x run) (?x victory)
 
 -- (Game)