Proofs in Predicate Logic