diff --git a/Integer_Transition_Systems/Monma_26/reverse_lexicographic.ari b/Integer_Transition_Systems/Monma_26/reverse_lexicographic_REV2.ari
similarity index 99%
rename from Integer_Transition_Systems/Monma_26/reverse_lexicographic.ari
rename to Integer_Transition_Systems/Monma_26/reverse_lexicographic_REV2.ari
index 853fc033..dfd91d75 100644
--- a/Integer_Transition_Systems/Monma_26/reverse_lexicographic.ari
+++ b/Integer_Transition_Systems/Monma_26/reverse_lexicographic_REV2.ari
@@ -63,7 +63,7 @@
     (>= y 0)
     (>= s 0)
     (>= t 0)
-    (or (> p 0) (< p 1))
+    (or (> p 0) (< p 0))
     (= m_post m)
     (= x_post x)
     (= y_post y)