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