static TripleWeb randomIndexedTriple() {
  ret random(ai_allTriples());
}