Ryan's Proofs