{"ZippingTheorem" -> "Verifying the zipping theorem. Continues ZipBindDemo.nb \
in <a \
href=\"../Talks/Matemale-1804/index.html\">pensieve://Talks/Matemale-1804/</a\
>.", "MinorGames" -> 
  "Verifying properties of the minors of an adjoint matrix."}
