Proof search in natural deduction