{"MatrixIg" -> "Matrix implementation of Ig (failed).", 
 "sl2p" -> "Implementing ${\\mathcal U}(sl^+_2)$. Modifies <a \
href=\"../2017-03/nb/sl2.pdf\">pensieve://2017-03/nb/sl2.pdf</a>.", 
 "sl2" -> "Implementing ${\\mathcal U}(sl_2)$. Borrows from <a \
href=\"../2017-02/nb/glne.pdf\">pensieve://2017-02/nb/glne.pdf</a>.", 
 "ConditionalExpression" -> "Learning \"ConditionalExpression\".", 
 "geps" -> "An analysis of ${\\mathfrak g}^\\epsilon$ within $gl_2$.", 
 "sl2eps" -> "Implementing ${\\mathcal U}(sl_2^\\epsilon)$. Borrows from <a \
href=\"../2017-02/nb/glne.pdf\">pensieve://2017-02/nb/glne.pdf</a>.", 
 "LogosAtk=2" -> "The Logos at $k=2$, adapted from <a \
href=\"../Classes/17-1350-AKT/nb/170307-geps.pdf\">pensieve://Classes/17-1350\
-AKT/nb/170307-geps.pdf</a>.", "True_geps_ot" -> "The true ${\\mathfrak \
g}^\\epsilon$ within $sl_2$ and without; old technology UEA.", 
 "True_geps" -> 
  "The true ${\\mathfrak g}^\\epsilon$ within $sl_2$ and without.", 
 "LogosFormula" -> "Simplifying the logos formula.", 
 "GraphsForAssaf" -> "Many graphs for Assaf."}
