diff --git a/Sudoku/visb_sudoku.json b/Sudoku/visb_sudoku.json
index ff925829dbd575ca5fbcb93e355db90b4cbb097a..4da1b607ba063888183c80be401a2020bf7bb8e4 100644
--- a/Sudoku/visb_sudoku.json
+++ b/Sudoku/visb_sudoku.json
@@ -6,7 +6,7 @@
       "value" : "%x.(x:DOM|%y.(y:DOM|0)  <+ Board(x))"
     },
     { "name":"Won",
-      "value" : "bool(Board : DOM --> (DOM --> RAN))"
+      "value" : "bool(ENABLED(\"Solve\")=TRUE & Board : DOM --> (DOM --> RAN))"
     }
   ],
   "items": [