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