static bool lispTrue(S head, O... args) {
  ret lispTrue(lisp(head, args));
}

static bool lispTrue(Lisp l) {
  for (Lisp x : lispTruthByHead(l.head))
    if (eq(x, l)) true;
  false;
}