Mention the obvious proof search.
Merge pull request #26 from ctford/mention-obvious-proof-search

Mention the obvious proof search.