static L<TripleWeb> triplesWithB_verified(Symbol b) {
  ret ai_verifedTriples(ai_triplesWithB(b));
}