Title: Petty Details of So and So's Proof