eja: remove a TODO that is done in theory.

diff --git a/mjo/eja/TODO b/mjo/eja/TODO
index 55a59a1c45a153c4de59bd8464a50c2fe404872d..535ee9c94013ee4ca06d449a446292bb72df4a29 100644 (file)
--- a/mjo/eja/TODO
+++ b/mjo/eja/TODO
@@ -1,6 +1,3 @@
-A. Make the subalgebra class work with any subalgebra (there's nothing
-   special except a_regular_element() in there).
-
 1. Add CartesianProductEJA.
 
 2. Check the axioms in the constructor when check != False?