The Nuts and Bolts of Proofs: An Introduction to