static void ai_removeTriplesInMemory(Collection<TripleWeb> l) {
  if (empty(l)) ret;
  ai_markMemoryDirty();
  tripleIndex().removeTriples(l);
}