diff --git a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/open.tex b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/open.tex
index 92c240cd61b..dc03d222440 100644
--- a/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/open.tex
+++ b/Algebraic_foundations/doc_tex/Algebraic_foundations_ref/open.tex
@@ -20,8 +20,7 @@ Note that Polynomials are not part of this package.
 
 TODO:
 \begin{itemize}
-\item find a place for basic stuff. Max/Min/Is\_valid/Boolean\_tag..
-      basic concepts...
+
 \item 'built-in' types -> 'fundamental' types 
 \item add a new entry in the globally maintained Bib file.
 \item there is a problem with io stream operators for CORE types \\
@@ -40,6 +39,8 @@ TODO:
 DONE:
 
 \begin{itemize}
+\item find a place for basic stuff. Max/Min/Is\_valid/Boolean\_tag..
+      basic concepts...
 \item rm \ccc{Binary_operator_result} use \ccc{Coercion_traits}
 \item rm \ccc{Number_type_traits} use \ccc{Algebraic_structure_traits}
 \item rm \ccc{Rational_traits} It was not possible to remove the Traits, since