Hall Proofs