static void ai_invalidateTermsContaining(S prefix) {
  for (S term : fullIndexedTermsContaining(prefix))
    ai_invalidateWholeTerm(term);
}