static bool ai_has(S a, S b, S c) {
  ret ai_text(a, b, c) != null;
}

static S ai_has(T3<S> t) {
  ret ai_has(t.a, t.b, t.c);
}