Building natural deduction proofs in propositional logic