diff --git a/changes-set.txt b/changes-set.txt
index 92988f8806..d0a17bb3f3 100644
--- a/changes-set.txt
+++ b/changes-set.txt
@@ -92,7 +92,7 @@ Date      Old       New         Notes
 15-Feb-25 abeq2d    eqabd
 15-Feb-25 abeq2w    eqabw
 15-Feb-25 abeq1     eqabc       Commuted form of eqab
-15-Feb-25 abeq2     eqab        Basic tautological form
+15-Feb-25 abeq2     eqab        Basic closed form
 10-Feb-25 ---       ---         Moved surreal addition theorems
                                 from SF's mathbox to main set.mm
 10-Feb-25 onunel    ---         Moved from SF's mathbox to main set.mm