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