static S ai_findUnknownThingInTriple(T3<S> t) {
  if (!ai_isKnownThing(t.a)) ret t.a;
  if (!ai_isKnownThing(t.c)) ret t.c;
  if (!ai_isKnownThing(t.b)) ret t.b;
  null;
}