Redmond Card Proofs - brethurston