The Nuts and Bolts of Proofs:An Introduction to