diff --git a/tests/test_proof/bad/money-empty.catala_en b/tests/test_proof/bad/money-empty.catala_en
index 317d1c24..f6677975 100644
--- a/tests/test_proof/bad/money-empty.catala_en
+++ b/tests/test_proof/bad/money-empty.catala_en
@@ -11,5 +11,5 @@ scope A:
   definition x equals $20,000
   definition y under condition x >=$ $1,000 and x <$ $10,000 consequence equals false
   definition y under condition x >=$ $10,000 and x <$ $100,000 consequence equals true
-  definition y under condition x >$ $100,000 consequence equals false
+  definition y under condition x >=$ $100,000 consequence equals false
 ```
diff --git a/tests/test_proof/bad/money-overlap.catala_en b/tests/test_proof/bad/money-overlap.catala_en
index f341a924..b8bc1912 100644
--- a/tests/test_proof/bad/money-overlap.catala_en
+++ b/tests/test_proof/bad/money-overlap.catala_en
@@ -12,5 +12,5 @@ scope A:
   definition y under condition x <=$ $1,000 consequence equals true
   definition y under condition x >=$ $1,000 and x <$ $10,000 consequence equals false
   definition y under condition x >=$ $10,000 and x <$ $100,000 consequence equals true
-  definition y under condition x >$ $100,000 consequence equals false
+  definition y under condition x >=$ $100,000 consequence equals false
 ```
diff --git a/tests/test_proof/good/money.catala_en b/tests/test_proof/good/money.catala_en
index 05efb2f0..cf279dd6 100644
--- a/tests/test_proof/good/money.catala_en
+++ b/tests/test_proof/good/money.catala_en
@@ -10,5 +10,5 @@ scope A:
   definition y under condition x <$ $1,000 consequence equals true
   definition y under condition x >=$ $1,000 and x <$ $10,000 consequence equals false
   definition y under condition x >=$ $10,000 and x <$ $100,000 consequence equals true
-  definition y under condition x >$ $100,000 consequence equals false
+  definition y under condition x >=$ $100,000 consequence equals false
 ```