static L<S> ai_texts_verified(S a, S b, S c) {
  ret web_texts(ai_search_dollarX_verified(a, b, c));
}