added proof search