diff --git a/src/polynomial/polynomial.c b/src/polynomial/polynomial.c
index 5c3474f..4e65889 100644
--- a/src/polynomial/polynomial.c
+++ b/src/polynomial/polynomial.c
@@ -1524,7 +1524,7 @@ int lp_polynomial_constraint_infer_bounds(const lp_polynomial_t* A, lp_sign_cond
     if (r) {
       return r;
     }
-    return lp_polynomial_constraint_infer_bounds(A, LP_SGN_LE_0, 0, M);
+    return lp_polynomial_constraint_infer_bounds(A, LP_SGN_GE_0, 0, M);
   }
   case LP_SGN_NE_0: // |x| - d != 0 => ?
     return 0;
@@ -1743,7 +1743,7 @@ lp_polynomial_t* lp_polynomial_constraint_explain_infer_bounds(const lp_polynomi
     if (p) {
       return p;
     }
-    return lp_polynomial_constraint_explain_infer_bounds(A, LP_SGN_LE_0, 0, x);
+    return lp_polynomial_constraint_explain_infer_bounds(A, LP_SGN_GE_0, 0, x);
   }
   case LP_SGN_NE_0: // |x| - d != 0 => ?
     return 0;