static void addTruth(Collection<S> statements) {
  if (empty(statements)) ret;
  startTruthTable();
  assertOK(send("Truth Table Bot", "add truth * by *", asList(statements), programID()));
}

static void addTruth(Lisp statement) {
  addTruth(ll(clUnparse(statement)));
}