lie-algebras-and-their-representations

diff --git a/sections/introduction.tex b/sections/introduction.tex
@@ -913,6 +913,9 @@ Surprisingly, this functor has right adjoint.
   is the inverse of \(\alpha\).
 \end{proof}
 
+% TODO: Add a conclusion
+
+% TODO: Move this to the next chapter
 %\begin{definition}
 %  A representation of \(\mathfrak{g}\) is called \emph{indecomposable} if it is
 %  not isomorphic to the direct sum of two non-zero representations.

diff --git a/sections/mathieu.tex b/sections/mathieu.tex
@@ -1416,3 +1416,5 @@ Lo and behold\dots
 %  The central characters of the irreducible submodules of
 %  \(\operatorname{Ext}(V)\) are all the same.
 %\end{proposition}
+
+% TODO: Write a conclusion

diff --git a/sections/semisimple-algebras.tex b/sections/semisimple-algebras.tex
@@ -2446,3 +2446,4 @@ are really interested in is\dots
   weight \(\mu\) of \(M(\lambda)\) which is higher than \(\lambda\).
 \end{proof}
 
+% TODO: Write a conclusion and move this to the next chapter