Ricky Hall Proofs