sbool isAGIBlueDomain(S domain) {
  ret domainIsUnder(domain, theAGIBlueDomain());
}