difficult Domains with Unit Equality