Madisyn and Matthew Proofs - hcp