static void printPrettyFacts() {
  printNumberedLines(map(func(LispStatement s) {
    "[" + s.globalID + "] " + lispToEnglish_prettier(s.term)
  }, values(lispStatements_cached())));
  print();
}