Corshell Proofs