Corrigan Proofs