diff --git a/src/ast/sls/sls_euf_plugin.cpp b/src/ast/sls/sls_euf_plugin.cpp
index 20a2c1a6a..a85ef5e69 100644
--- a/src/ast/sls/sls_euf_plugin.cpp
+++ b/src/ast/sls/sls_euf_plugin.cpp
@@ -12,6 +12,12 @@ Abstract:
 Author:
 
     Nikolaj Bjorner (nbjorner) 2024-06-24
+
+Todo:
+
+- try incremental CC with backtracking for changing assignments
+- try determining plateau moves.
+- try generally a model rotation move.
     
 --*/