From 6f480d3706c9f01f2f9044f4f016853a1e8239e6 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Fri, 8 Jan 2021 19:09:35 -0500
Subject: =?UTF-8?q?There's=20no=20identity=20element=20for=20=E2=88=BE?=
 =?UTF-8?q?=CB=9D=20on=20an=20empty=20list?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 spec/inferred.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'spec')

diff --git a/spec/inferred.md b/spec/inferred.md
index 5b43c0ef..0c9e5a83 100644
--- a/spec/inferred.md
+++ b/spec/inferred.md
@@ -26,7 +26,7 @@ Identity values for the arithmetic primitives below must be recognized. Under Fo
 |  `0` | `≠` | `=` |  `1` |
 |  `0` | `>` | `≥` |  `1` |
 
-Additionally, the identity of `∾˝` must be recognized: if `0=≠𝕩`, then `∾˝𝕩` is `(0∾2↓≢𝕩)⥊𝕩`.
+Additionally, the identity of `∾˝` must be recognized: if `0=≠𝕩` and `1<=𝕩`, then `∾˝𝕩` is `(0∾2↓≢𝕩)⥊𝕩`. If `1==𝕩`, then there is no identity element, as the result of `∾` always has rank at least 1, but the cell rank is 0.
 
 ## Undo
 
-- 
cgit v1.2.3