Worked on implementing proof search.