static Lisp getLispTruth(S id) {
  LispStatement s = lispStatements_cached().get(id);
  ret s == null ? null : s.term;
}