static void printLispTruth() {
  printNumberedLines(lispTruth());
}