static new ThreadLocal<Bool> ai_invalidateWeb_postAntiTriple; // off by default
sbool ai_invalidateWeb_removeFromMemory = true; 

static S ai_invalidateWeb(GlobalID webID) {
  ret ai_invalidateWeb(ai_getWeb(webID));
}

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

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

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