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