static void addTruthWithInfoBox(S statement) {
  addTruth(ll(statement));
  infoBox("Statement added.\n" + statement + "\n" + conceptLanguageToEnglish(statement));
}