Logan Proofs