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(t.a, "[invalid] " + t.b, t.c);
}