99 Variations on a Proof PDF