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