Hayes Proofs

Hayes Proofs