domain_equations
