Domains

But the expense of building a solver, simplifier, etc. for a given domain is not small
- So the narrow domain must provide enough benefit to justify this effort

But the expense of building a solver, simplifier, etc. for a given domain is not small