Before revision:  It states that if an ETR problem has an exact solution, then it has a k-uniform approximate solution, where k depends on various properties of the formula.
After revision:  It discretizes the domain in a grid-like manner whose density depends on various properties of the formula.