Started work on proof search.