And I believe, to a first order, it is over -- not because index search is going away, but because, like word processing, it's gone from the most important application we all had, to just another thing we do.