NUTS AND BOLTS OF PROOFS