sS ai_addFactsToMechList(S listName, LS newFacts) {
  Set<S> base = mechSetCI(listName);
  DerivedSet<S> set = new(base, ciSet());
  if (ai_addFactsToSet(set, newFacts) == 0) null;
  ret addToMechList(listName, set.additions);
}