diff --git a/MEMO b/MEMO
index f8746ea6c72fb0b7d6cf200150731d1da2d236ad..b16d1c3acc6cc16f193fe12477d3dfb3dfae681b 100644
--- a/MEMO
+++ b/MEMO
@@ -68,13 +68,11 @@ TODO
 
 - user interface for dim length prescription
 
-- How to determine which variables need to be duplicated for ILP?
-  -> Reduction
-  -> CSEs?
 
 - Sharing of checks across ILP instances
 
 - Slab decomposition for ILP
+  -> I don't think that's possible.
 
 - Better for loop bound generation
   -> Try a triangular loop
@@ -85,6 +83,9 @@ TODO
 Dealt with
 ^^^^^^^^^^
 
+- Which variables need to be duplicated for ILP?
+  -> Only reduction
+
 - implemented_domain may end up being smaller than requested in cse
   evaluations--check that!