added parens to doProofSearch