sbool ai_invalidateWeb_postAntiTriple; // off by default

static void ai_invalidateWeb(S webID) {
  ai_invalidateWeb(ai_getWebFromTerm(webID));
}

static void ai_invalidateWeb(Web web) {
  if (web == null) ret;
  post("Web " + web.globalID, "is", "invalid");
  
  if (ai_invalidateWeb_postAntiTriple) {
    T3<S> t = webToTriple(web);
    if (t != null)
      post(ai_tripleToInvalid(t));
  }
}

static void ai_invalidateWeb(WebNode node) {
  ai_invalidateWeb(webNodeToWeb(node));
}