static Web web_withoutNodes(Web web, Collection<WebNode> nodes) {
  Web w = web_similarEmptyWeb(web);
  web_addNodesToWeb(listMinusList(web_nodes(web), nodes), w);
  ret w;
}