lie-algebras-and-their-representations

diff --git a/sections/mathieu.tex b/sections/mathieu.tex
@@ -182,6 +182,10 @@
   \(\mathcal{M}[\lambda]\) has finite length as a \(\mathfrak{g}\)-module.
 \end{lemma}
 
+% TODO: Pose this more abstractly: the key property of the semisimplification
+% is the fact that it is semisimple and the composition series of M
+% TODO: From this we may conclude that any cuspidal submodule fits nicely in
+% the semisimplification of any of its coherent extensions
 % TODO: Note that the semisimplification is only defined up to isomorphism: the
 % isomorphism class is independant of the composition series because all
 % composition series are conjugate
@@ -258,6 +262,7 @@
   \(\mathcal{M}^{\operatorname{ss}} \cong \operatorname{Ext}(V)\).
 \end{theorem}
 
+% TODO: Move this to before the proof of the existence of Ext?
 \begin{proposition}
   Let \(V\) be a cuspidal representation of \(\mathfrak{g}\) and take any
   weight \(\lambda\) of \(V\). Then \(V \cong