Proof in the Details