Mention the obvious proof search.