In that case we don't get enough solutions (there are infinitely many solutions to abs(x) = 3), which is not terrible, but I'm not convinced that it couldn't also lead to incorrect solutions.