Addison Nayback Proofs