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