Stav dette: The nuts and bolts of proofs