diff --git a/model.py b/model.py
index 79cff8f..855b320 100644
--- a/model.py
+++ b/model.py
@@ -303,7 +303,7 @@ def rule_satisfied(
             # Counterexample found, return False
             return False
 
-    # No mapping found which contradicts our rule
+    # No valuation found which contradicts our rule
     return True