Domains for DNF$$$

Review