From 85ef364a5743dc8982410aa1d32ac7983fc5b0c7 Mon Sep 17 00:00:00 2001
From: Brandon Rozek <brozek@brandonrozek.com>
Date: Tue, 27 Jan 2026 14:13:54 -0500
Subject: [PATCH] Small comment change

---
 model.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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