static L<Web> ai_fewestIndexedWebs_verified(S a, S b, S c) {
  ret web_verifiedWebsOnly(ai_fewestIndexedWebs(a, b, c));
}