I can vouch for that. We recently made a big improvement to our search results at Jive Search and have seen better traffic. People will set it as their default more if it's better.