It's not just those that would be aware of changing default search settings, but those that actually would. So we have a Venn Diagram of users that would be willing to try out something marketed as "a wicked fast mobile browser" and those that would go out of their way to change Google as the default search engine. What's the exact intersection there? I think we're both left to just wildly speculate, but I do think we can agree it wouldn't be even remotely close to 100%.