diff --git a/include/slvs.h b/include/slvs.h
index 4c9ea70..fa9f588 100644
--- a/include/slvs.h
+++ b/include/slvs.h
@@ -182,9 +182,10 @@ typedef struct {
 
     // The solver indicates whether the solution succeeded.
 #define SLVS_RESULT_OKAY                0
-#define SLVS_RESULT_INCONSISTENT        1
-#define SLVS_RESULT_DIDNT_CONVERGE      2
-#define SLVS_RESULT_TOO_MANY_UNKNOWNS   3
+#define SLVS_RESULT_REDUNDANT_OKAY      1
+#define SLVS_RESULT_REDUNDANT_DIDNT_CONVERGE 2
+#define SLVS_RESULT_DIDNT_CONVERGE      3
+#define SLVS_RESULT_TOO_MANY_UNKNOWNS   4
     int                 result;
 } Slvs_System;
 
diff --git a/src/lib.cpp b/src/lib.cpp
index 0a772e3..4c66276 100644
--- a/src/lib.cpp
+++ b/src/lib.cpp
@@ -212,9 +212,12 @@ default: dbp("bad constraint type %d", sc->type); return;
             ssys->result = SLVS_RESULT_DIDNT_CONVERGE;
             break;
 
-        case System::REDUNDANT_DIDNT_CONVERGE:
         case System::REDUNDANT_OKAY:
-            ssys->result = SLVS_RESULT_INCONSISTENT;
+            ssys->result = SLVS_RESULT_REDUNDANT_OKAY;
+            break;
+
+        case System::REDUNDANT_DIDNT_CONVERGE:
+            ssys->result = SLVS_RESULT_REDUNDANT_DIDNT_CONVERGE;
             break;
 
         case System::TOO_MANY_UNKNOWNS: