diff --git a/collects/honu/cce-notes.txt b/collects/honu/cce-notes.txt
index a4d4194837..47610cb6f8 100644
--- a/collects/honu/cce-notes.txt
+++ b/collects/honu/cce-notes.txt
@@ -1,10 +1,7 @@
 Todo:
 
 Mixin Sealing
-- environments
-  - single value->type environment (remove class-env)
-  - implement applicative environments
-- define type equality
+- move to single, applicative environment
 Test Suite Improvements
 Numeric Library