static L<Web> ai_cache_findTriple(S a, S b, S c) {
  L<Web> webs = ai_fewestIndexedWebs(a, b, c);
  ret webs_search_noVar_all(webFromTriple(a, b, c), webs);
}

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