got proof search working