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