The nuts and bolts of proofs. (2005)