Proof techniques or Logic in proofs