static L<WebRelation> indexedRelations_verified(S s) {
  ret web_relationsOnly(web_nodesFromVerifiedWebs(indexedNodes(s)));
}