static L<Map<S, Lisp>> lispTruthMatches(Lisp pat, S... variables) {
  Set<S> vars = asSet(variables);
  L<Map<S, Lisp>> out = new L;
  for (Lisp l : values(lispStatements_cached()))
    addIfNotNull(out, lispMatch(pat, l, vars));
  ret out;
}