static bool hasTruthWithHead(S... heads) {
  ret nempty(lispStatementsByHead(heads));
}