Interface Domains.DomComplex