diff --git a/README.md b/README.md
index 542b174..9eea44b 100644
--- a/README.md
+++ b/README.md
@@ -3,8 +3,8 @@
 [![Build Status](https://github.com/jump-dev/MathOptIIS.jl/actions/workflows/ci.yml/badge.svg?branch=main)](https://github.com/jump-dev/MathOptIIS.jl/actions?query=workflow%3ACI)
 [![codecov](https://codecov.io/gh/jump-dev/MathOptIIS.jl/branch/main/graph/badge.svg)](https://codecov.io/gh/jump-dev/MathOptIIS.jl)
 
-[MathOptIIS.jl](https://github.com/jump-dev/MathOptIIS.jl) is a
-basic conflict solver for MathOptInterface.jl.
+[MathOptIIS.jl](https://github.com/jump-dev/MathOptIIS.jl) is a basic IIS solver
+for MathOptInterface.jl.
 
 ## License
 
@@ -25,6 +25,20 @@ import Pkg
 Pkg.add(; url = "https://github.com/jump-dev/MathOptIIS.jl")
 ```
 
+## The name
+
+The optimization community consistently uses "IIS", but they have not
+standardized on what the acronym stands for. We have seen:
+
+1. Irreducible Infeasible Set
+2. Irreducibly Inconsistent Set
+3. Irreducible Infeasible Subsystem
+4. Infeasible Irreducible System
+5. Irreducible Inconsistent Subsystem
+6. Irreducibly Inconsistent System
+
+So we choose the name MathOptIIS, and you can decide what the acronym stands for.
+
 ## Documentation
 
 The [documentation for MathOptIIS.jl](https://jump.dev/MathOptIIS.jl/dev/)