{"Testing123" -> "Testing and implementing lemmas 1,2,3 of the DoPeGDO \
handouts. Continues <a \
href=\"../2020-02/index.html\">pensieve://2020-02/</a>.", 
 "UpDownRelations" -> "Figuring out up-down relations."}
