sbool domainIsUnderOneOf(S domain, S... domains) {
  fOr (S d : domains)
    if (domainIsUnder(domain, d))
      true;
  false;
}