let pretty = DomSet.pretty