static L<Lisp> hasTruthWithHead(S... heads) {
  ret nempty(lispStatementsByHead(heads));
}