diff --git a/src/attributes.jl b/src/attributes.jl
index defb2b70e8..6be60edd70 100644
--- a/src/attributes.jl
+++ b/src/attributes.jl
@@ -855,15 +855,24 @@ The values indicate how to interpret the result vector.
   infeasibility.
 * `NEARLY_INFEASIBILITY_CERTIFICATE`: the result satisfies a relaxed criterion for
   a certificate of infeasibility.
+* `REDUCTION_CERTIFICATE`: the result vector is an ill-posed certificate; see
+  [this article](https://arxiv.org/abs/1408.4685) for details. If the
+  `PrimalStatus` is `REDUCTION_CERTIFICATE`, then the primal result vector is a
+  proof that the dual problem is ill-posed. If the `DualStatus` is
+  `REDUCTION_CERTIFICATE`, then the dual result vector is a proof that the primal
+  is ill-posed.
+* `NEARLY_REDUCTION_CERTIFICATE`: the result satisfies a relaxed criterion for
+  an ill-posed certificate.
 * `UNKNOWN_RESULT_STATUS`: the result vector contains a solution with an unknown
   interpretation.
 * `OTHER_RESULT_STATUS`: the result vector contains a solution with an
   interpretation not covered by one of the statuses defined above.
 """
-@enum(ResultStatusCode, NO_SOLUTION, FEASIBLE_POINT, NEARLY_FEASIBLE_POINT,
-    INFEASIBLE_POINT, INFEASIBILITY_CERTIFICATE,
-    NEARLY_INFEASIBILITY_CERTIFICATE, UNKNOWN_RESULT_STATUS,
-    OTHER_RESULT_STATUS)
+@enum(ResultStatusCode, NO_SOLUTION,
+      FEASIBLE_POINT, NEARLY_FEASIBLE_POINT, INFEASIBLE_POINT,
+      INFEASIBILITY_CERTIFICATE, NEARLY_INFEASIBILITY_CERTIFICATE,
+      REDUCTION_CERTIFICATE, NEARLY_REDUCTION_CERTIFICATE,
+      UNKNOWN_RESULT_STATUS, OTHER_RESULT_STATUS)
 
 """
     PrimalStatus(N)