{"B4Syzygy" -> "Verifying the B4 Syzygy.", 
 "HomEx4PFB" -> 
  "Checking if PfBn (Pure Flat Braids) has a homomorphic expansion."}
