{"BigGLemma" -> "Verifying the \"Big G Lemmas\".", 
 "NOE-Demo" -> "Demo of NOE-0 and NOE-1t for MIT-1612, using vcw conventions"}
