{"BraidorsInDK" -> "Checking that B(\[Phi]) indeed solves the braidor \
equations and solving for a fresh braidor.", "BraidorsInDK-10" -> "Checking \
that B(&Phi;) indeed solves the braidor equations and solving for a fresh \
braidor. This time to degree 10.", "BraidorsInSAUT" -> 
  "Solving for associators in TAUT/SAUT."}
