svoid ai_facts(Set<S> set, LS newFacts) {
  for (S fact : newFacts)
    if (!set.contains("Untrue: " + fact))
      set.add(fact);
}