Well I said Google but ideally that would be “a healthy market of several competing quality search engines”.

Right now I think we only have Google and Bing. (Lots of alternatives like DuckDuckGo ultimately use Google I think)