Before revision: Q returns f(x) which is desired and never zero, and ignores y.
After revision: theQ returns f(x) which is desired and never zero, and ignores y.