static void web_deleteRelation(WebNode a, WebNode b) {
  a.web.removeRelation(a, b);
}