static L<Lisp> lispTruth() {
  ret collect(values(lispStatements_cached()), "term");
}