static L<S> ai_texts(S a, S b, S c) {
  if (ai_useThoughtSpaces())
    ret ai_searchTripleRef_dollarX(thoughtSpace(), a, b, c);
  ret web_texts(ai_search_dollarX(a, b, c));
}