diff --git a/TODO.org b/TODO.org
index a2e8abc9..eb6d0923 100644
--- a/TODO.org
+++ b/TODO.org
@@ -663,6 +663,11 @@ copy of its header, so growth inside the callee does not reach the caller. A
 parameter the function grows (push, put, reserve, anything that can reallocate)
 gets a warning at the parameter suggesting (Ptr ...).
 
+** CANCELLED not= as a spelling of !=
+CLOSED: [2026-09-25]
+One spelling for one operation; != stays, and not= is refused with a suggestion
+of !=.
+
 * Checker
 
 ** DONE The ownership flow analysis is repealed