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