Before revision:  We want to be able to tell efficiently systems with many non-trivial solutions or near solutions x \ne 0 from systems that are far from having a solution.
After revision:  We want to be able to tell efficiently systems with many non-trivial solutions or near-solutions x \ne 0 from systems that are far from having a solution.